Make the solver take the problem from stdin and dump a form of it before searching.