6.88/7.60	unsat
