Mario is a fictional character who loves the number and lives in an imaginary world. In that world, there is only one grocery shop available. The shop has all kinds of groceries available, and only six types of coins are available in the cash box: .
Every day, Mario buys necessary groceries from that shop. He always pays greater than his total bill. As a result, the Shopkeeper needs to provide changes to him. The Shopkeeper always returns the changes optimally, but when the Shopkeeper returns the changes, he uses every coin only once.
Mario will be happy if his favorite number is available in the change. As you are good at Programming, he wanted your help. Now write a program to check whether Mario's favorite coin is available in the change.
For each test case you will be given two integer numbers and where is the total bill and is the amount given by Mario to the shopkeeper. The shopkeeper gives the necessary changes for the amount . Here is always greater than .
Print "Yes" if Mario's favorite coin is available in the change. Otherwise, print "No" (Without quotation marks).