I've been running a Thinkpad X1 Carbon with those specs for about two years. They're pretty cheap on the used (ebay) market.