Instruction: Answer the given question by extracting information from the supporting document.

Input:
Question: Is this machine running windows 8 pro?
Document: Great computer so far. Screen is very nice with great clarity. Takes a while to get used to Windows 8. Worst design is the ports are located in the worst possible position, underneath the lower backside. Can't get to them without pulling the whole thing out to where you can reach over and behind the screen. Screwed if your arms are short.
I am extremely pleased with my Samsung Series 7, using it several times a day since I purchased it several months ago. I run Windows 8.1 on it. It is quiet, very reliable (always there when I use it, no crashes to report), very fast (the high-speed processor combined with the Solid State Drive give it outstanding speed), and it comes up very quickly (usually within 15 seconds after I press the ON button).
Thank you, Samsung. This machine is an absolute joy.
I love this computer. Now that I've experienced the speed of a SSD machine, I can never return to the &#34;old&#34; way. The Samsung was well packed, came with everything that I needed, and I even like the wireless keyboard and mouse. However, their version of a mouse pad was more like a piece of wall paper; a bit on the &#34;cheesy&#34; side.
I did take our office IT guy's recommendation and purchased an auto-back up, 2T external hard drive. The auto-back up is the key, because it is my understanding that if a SSD fails, it fails suddenly & without data recovery. So even though I purchased an extended warranty for this machine, I added the WD My Passport Ultra 2TB Portable External Hard Drive, which auto backs up the desktop continuously.
I use the 2 USB 3.0 ports on the side most of the time, and the 3 USB 2.0 ports on the bottom are always used to support the keyboard/mouse dongle (1 port) while the other 2 ports are unused.
I like the keyboard that came with the unit, but the mouse is a little cheesy - I use the Microsoft Wedge mouse with it instead and have the Samsung mouse as a backup. The only issue I have ever had with the unit is that when the download traffic is high on the Internet (like a video is coming in), the Bluetooth Wedge Mouse will freeze from time to time (the Samsung mouse does not freeze at these times).
Answer: No, You will have to upgrade it. Most impressive machine I have owned. As fast as it is huge.