9.67/9.93	unsat
