id = 154 group = 'clp_fd' number = 59 visible = True facts = None solution = '''\ puzzle_ratio(A, B) :- A #= 5*X, B #= 4*X, X #> 0, A+3 #= 11*Y, B+3 #= 9*Y, Y #> 0, A #< 200, B #< 200, labeling([], [A, B]).'''