5729x1 ) ( 6108 .)