9850x2 ) ( 6415 .)