40.16/40.60	unsat
