1.29/2.05	unsat
