What does a Solver do? They solve PROBLEMS!