1.94/2.05	unsat
