added SolverResult.toString() for debug purposes
need some \n