1.49/1.80	unsat
