Pretty print. Solver seems to work but makes unnecessary moves