1.18/2.05	unsat
