0.69/0.80	unsat
