6.61/6.69	unsat
