4.70/6.05	unsat
