42.51/45.37	unsat
