( t : 20 k 1: