42.46/45.20	unsat
