5.67/6.89	unsat
