0.72/2.05	unsat
