If s 3 k (16/48)

If s 3 k