6.94/7.20	unsat
