Text this: Análisis experimental del costo computacional del problema 2+p-sat aleatorio