Added a nishio method, makes the solver able to complete all given examples so far.