Prover9-查找所有可能的解决方案

Question

我是Prover9的新手，我不知道如何提取多个答案。

这是我的代码：

assign(max_proofs, 1000).

formulas(sos).

p(a).

p(b).

p(c).

-q(y) #answer(y).

end_of_list.

我想得到3个答案（x = a，x = b，x = c），但我只有一个。

我该怎么做？

感谢您的帮助！