Lots of fixes. Pre-solve the example.