t 2 , 80 .)