F x1 x2 max (15/48)

F x1 x2 max