The C version of the exact solver does the expected (Java and C are equal, and correct).
It has to be debugged for memory leaks! And it is very slow!