I would go with the samsung. If you can, try and get an 840pro but I understand choices may be limited.
Im running a 256gb 840pro in my digital storm laptop and it is just stunning. Combined with the i7, everything happens very quickly. Bootup speed is is much faster than any harddrive ive ever used.