7.18/7.60	unsat
