# coding=utf-8

id = 155
group = 'clp_fd'
number = 56
visible = True
facts = None

solution = '''\
puzzle_beth(X) :-
  X + 2 #= 2*(X-5).'''