6.88/8.02	unsat
