1.70/1.80	unsat
