7.67/8.89	unsat
