If s 4 and t 4 (7/48)

If s 4 and t 4