0.80/0.82	unsat
