petya String solution