TicTacToe.sats