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