示例：
[eclipse 6]: X=1;X=2;X=3.
X = 1
Yes (0.00s cpu, solution 1, maybe more) ? ; <-- this ; results in the end of the query
X = 2
Yes (0.00s cpu, solution 2, maybe more) ? (no chance to enter anything before the following prompt appears)
[eclipse 7]: