Solving 8x8 Hex