(benchmark x
:formula

(and
  (= x 1)
  (= y 2)
  (or
    (not (= x 1))
    (not (= y 2))
  )
)
)