id = 153
group = 'clp_fd'
number = 57
visible = True
facts = None

solution = '''\
puzzle_abc(A, B, C) :-
  A #= B + 2,
  B #= 2 * C,
  A+B+C #= 27,
  [A,B,C] ins 0..inf,
  labeling([], [A,B,C]).
'''