Made test output of solve's better and simpler.