enumerate and spfa