5.61/7.35	unsat
