hardware choice

Hi,

I have two Lenovo X1 Carbons on the table. Which one do you think is better for Solidworks?

I'm mechatronics student and use Solidworks for school projects.

1) X1C/i7-3667U/4GB/256GB/HD+/W7P(W8P) - faster CPU

2) X1C/i5-3427U/8GB/180GB/HD+/W7P(W8P) - more RAM

Thanks in advance!

SolidworksGeneral