6.88/10.97	unsat
