sat
(
  (define-fun a () Bool false)
)