0.72/0.80	unsat
