connect 4 solver algorithm