If s 3 k (43/48)

If s 3 k