Adding a basic test.
compiling, but in correct, solver complete