Actually the solver is working, at least for one example.