12544x2 ) ( C8t3 .)