0.71/0.81	unsat
