while 1:s=map(int,raw_input().split());print["Fail","Pass"][s[1]>sum(s[1:])/s[0]/2]