6.88/9.51	unsat
