3.47/6.05	unsat
