Othello Solved on the Tech Tree