6.96/7.60	unsat
