6.88/9.97	unsat
