40.51/40.60	unsat
