We take this from the user and use the same query name to show answer later. Also used by solver.
We take this from the user and use the same query name to show answer later. Also used by solver.