1284 test solvers

I'm working on issue 4129. Currently it gives failure but I've included the test-cases nevertheless