0.58/2.05	unsat
