:- use_module(library(clpfd)).

main :-
    read_num(X),
    read_num(Y),
    satisfy(X, Y).

satisfy(X, Y) :-

        X in 1..100,
        Y in 1..100,

        % 鶴をA、亀をBとする。
        0 #=< A, A #=< X,
        0 #=< B, B #=< X,

        X #= A + B,
        Y #= 2 * A + 4 * B,
    
        label([A, B]),
        write('Yes'),
        nl.
    
satisfy(_, _) :-
        write('No'),
        nl.

read_str(S) :-
        read_string(current_input, ' \n', '', _, S).
 
read_num(N) :-
	read_str(S),
	number_string(N, S).


:- main.
