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) ==* 1