6.67/8.93	unsat
