3.08/5.05	unsat
