38.04/42.60	unsat
