7.47/7.60	unsat
