0.68/1.80	unsat
