Solving Connect Four