A small and simple RPN QBF solver