40.52/42.60	unsat
