0.68/0.80	unsat
