5.61/5.69	unsat
