0.77/0.80	unsat
