40.07/42.28	unsat
