0.80/0.81	unsat
