0.58/1.80	unsat
