0.98/1.80	unsat
