Format... Virus scans are good for catching virus's before they infect your system but once there on the best bet is always to clear the system. Most virus scans cannot fully remove a virus and the virus probably went and did some evil things with your windows registry anyway. Format and have a faster install after you delete all the junk that built up any way. Also if you want a good virus scan go download Microsoft security essentials.