Different string format to make it easier to generate a test case for the solver.