9.67/9.98	unsat
