import Yices.Painless.Language

main = print =<< solve p

p :: Exp Int -> Exp Int -> Exp Int -> Exp Bool 
p x y z =
    (3 * x) + (6 * y) + z ==* 1
  &&*
    z ==* 2