{"raw_statement":[{"iden":"problem statement","content":"_La Confiserie d'ABC_ sells cakes at $4$ dollars each and doughnuts at $7$ dollars each. Determine if there is a way to buy some of them for exactly $N$ dollars. You can buy two or more doughnuts and two or more cakes, and you can also choose to buy zero doughnuts or zero cakes."},{"iden":"constraints","content":"*   $N$ is an integer between $1$ and $100$, inclusive."},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$N$"},{"iden":"sample input 1","content":"11"},{"iden":"sample output 1","content":"Yes\n\nIf you buy one cake and one doughnut, the total will be $4 + 7 = 11$ dollars."},{"iden":"sample input 2","content":"40"},{"iden":"sample output 2","content":"Yes\n\nIf you buy ten cakes, the total will be $4 \\times 10 = 40$ dollars."},{"iden":"sample input 3","content":"3"},{"iden":"sample output 3","content":"No\n\nThe prices of cakes ($4$ dollars) and doughnuts ($7$ dollars) are both higher than $3$ dollars, so there is no such way."}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}