$SOL NFA