0.00/0.80	unsat
