Queries, Solver