Tic Tac Toe domain solved