8.67/9.89	unsat
