1.80/2.26	unsat
