Finding a kbase solution