(set-info :source |printed by MathSAT|)

*:
(assert false)

