7.40/7.60	unsat
