Solving QSAT problems with neural MCTS