42.59/45.37	unsat
