6.61/6.89	unsat
