7.67/7.89	unsat
