F x max x y (31/48)

F x max x y