4.61/6.05	unsat
