Strongly Solving 2048 4x3