(set-logic ALL)
(assert (fp))