CF568D Sign Posts

Description

One Khanate had a lot of roads and very little wood. Riding along the roads was inconvenient, because the roads did not have road signs indicating the direction to important cities. The Han decided that it's time to fix the issue, and ordered to put signs on every road. The Minister of Transport has to do that, but he has only $ k $ signs. Help the minister to solve his problem, otherwise the poor guy can lose not only his position, but also his head. More formally, every road in the Khanate is a line on the $ Oxy $ plane, given by an equation of the form $ Ax+By+C=0 $ ( $ A $ and $ B $ are not equal to 0 at the same time). You are required to determine whether you can put signs in at most $ k $ points so that each road had at least one sign installed.

Input Format

The input starts with two positive integers $ n $ , $ k $ ( $ 1

Output Format

If there is no solution, print "NO" in the single line (without the quotes). Otherwise, print in the first line "YES" (without the quotes). In the second line print a single number $ m $ ( $ m

Explanation/Hint

Note that you do not have to minimize $ m $ , but it shouldn't be more than $ k $ . In the first test all three roads intersect at point (0,0). In the second test all three roads form a triangle and there is no way to place one sign so that it would stand on all three roads at once.