se l'antivirus non ti trova il nome del virus non puoi neanche cercare removal tools o guide, quindi non ti rimane che formattare che è anche la soluzione migliore.