Resultado de la búsqueda: ¿Cómo se resuelve (■(5@0))?