If s 3 k (9/48)

If s 3 k