import cp.

go =>
  N :: 0..100,
  foreach(X in 0..16, Y in 0..11, Z in 0..5)
     6*X + 9*Y + 20*Z #!= N
  end,
  solve($[max(N)],N),
  println(n=N).