Question: What is the sum of core# with a TDP less than 85.3?
SQL: SELECT SUM(core__number) FROM table_name_62 WHERE tdp__w_ < 85.3