Changes:
  - finished definition of `solve'