5.61/5.72	unsat
