0.63/0.80	unsat
