No need for the monospaced requirement - it would reduce the search space, but it's solvable even before this reduction.