<br><font size=2 face="sans-serif">Stefano,</font>
<br>
<br><font size=2 face="sans-serif">Integer presolve is a bit buggy at present
so it would be simpler just to comment out that #define. &nbsp;I will do
that.</font>
<br>
<br><font size=2 face="sans-serif">John Forrest</font>