reverted kktsolver, added unit test for examples