1.28/2.05	unsat
