6.68/9.98	unsat
