import Yices.Painless.Language

main = print =<< solve p

p = false