Task: Formula-prediction-context (source dataset: cisco-random)

You are given an table region extracted from a real Excel spreadsheet, which is centered around a cell called "Target Cell" (labeled as "[Target Cell]" shown in the table below). The table region below includes up to 10 rows above/below the Target Cell, and 10 columns to the left/right of the Target Cell. 

Your task is to analyze the table context surrounding the Target Cell, and predict the most likely Excel formula that should go in the Target Cell. If multiple formulas are possible, choose the most reasonable or commonly used based on context.

1. Please follow the standard formula syntax in Excel, e.g. always begins with an equal sign (=).
2. Base your predicted formula on the surrounding table context, e.g., column headers, annotations, and data values in nearby cells.
3. No explanation — just output the formula itself in a JSON format: {"formula": "your_formula_here"}.

Input Excel Snippet in Markdown format:
|    | A     | B                  | C                                                         | D           | E       | F   | G        | H      | I             | J   |     K | L              |
|---:|:------|:-------------------|:----------------------------------------------------------|:------------|:--------|:----|:---------|:-------|:--------------|:----|------:|:---------------|
| 47 | 2.0.1 | CON-SNT-CPDX80KG   | SMARTNET 8X5XNBD Cisco DX80                               | 12 month(s) | N/A     | No  | 4        | 319.0  | 1276          | 0.0 |  1276 | PRIMARYSERVICE |
| 48 | 2.1   | CP-PWR-CORD-UK     | Power Cord United Kingdom                                 | N/A         | 21 days | No  | 4        | 0.0    | 0             | 0.0 |     0 |                |
| 49 |       |                    |                                                           |             |         |     | SubTotal |        |               |     | 17236 |                |
| 50 | 3.0   | CP-DX70-W-K9=      | Cisco Desktop Collaboration Experience DX70 (White)       | N/A         | 35 days | No  | 1        | 2750.0 | 2750          | 0.0 |  2750 |                |
| 51 | 3.0.1 | CON-SNT-CPDX70WK   | SMARTNET 8X5XNBD Cisco Desktop Collaboration Experience D | 12 month(s) | N/A     | No  | 1        | 220.0  | 220           | 0.0 |   220 | PRIMARYSERVICE |
| 52 | 3.1   | CP-PWR-CORD-UK     | Power Cord United Kingdom                                 | N/A         | 21 days | No  | 1        | 0.0    | 0             | 0.0 |     0 |                |
| 53 |       |                    |                                                           |             |         |     | SubTotal |        |               |     |  2970 |                |
| 54 | 4.0   | CP-8945-K9=        | Cisco Unified Phone 8945  Phantom Grey  Standard Handset  | N/A         | 28 days | No  | 5        | 525.0  | 2625          | 0.0 |  2625 |                |
| 55 | 4.0.1 | CON-SNT-CP8945K9   | SMARTNET 8X5XNBD Cisco Unified Phone 8945 Phantom Grey    | 12 month(s) | N/A     | No  | 5        | 0.0    | 0             | 0.0 |     0 | PRIMARYSERVICE |
| 56 |       |                    |                                                           |             |         |     | SubTotal |        |               |     |  2625 |                |
| 57 | 5.0   | CTS-SX20PHD2.5X-K9 | SX20 Quick Set HD  NPP  2.5x PHDCam  1 mic  remote cntrl  | N/A         | 49 days | No  | 1        | 7900.0 | [Target Cell] | 0.0 |  7900 |                |
| 58 | 5.0.1 | CON-ECDN-SX20PHD2  | ESS WITH 8X5XNBD SX20 HD2.5x PHDCam1 micremote ctrl       | 12 month(s) | N/A     | No  | 1        | 711.0  | 711           | 0.0 |   711 | PRIMARYSERVICE |
| 59 | 5.1   | CTS-SX20-QS-WMK    | Wall Mount Kit for SX20                                   | N/A         | 14 days | No  | 1        | 499.0  | 499           | 0.0 |   499 |                |
| 60 | 5.2   | PWR-CORD-UK-A      | Pwr Cord UK 1.8m Black YP-61 To YC-12                     | N/A         | 14 days | No  | 1        | 0.0    | 0             | 0.0 |     0 |                |
| 61 | 5.3   | CAB-2HDMI-3M       | HDMI to HDMI cable                                        | N/A         | 14 days | Yes | 2        | 0.0    | 0             | 0.0 |     0 |                |
| 62 | 5.4   | CAB-HDMI-PHD4XS2   | Custom 4xcamera cable; HDMI Control and Power (3m)        | N/A         | 14 days | Yes | 1        | 0.0    | 0             | 0.0 |     0 |                |
| 63 | 5.5   | CTS-SX20CODEC-K9   | SX20 Codec - encrypted                                    | N/A         | 28 days | Yes | 1        | 0.0    | 0             | 0.0 |     0 |                |
| 64 | 5.6   | LIC-S52010-TC-K9   | License Key Software Encrypted                            | N/A         | 14 days | Yes | 1        | 0.0    | 0             | 0.0 |     0 |                |
| 65 | 5.7   | LIC-SX20           | SX20 License Key                                          | N/A         | 14 days | Yes | 1        | 0.0    | 0             | 0.0 |     0 |                |
| 66 | 5.8   | LIC-SX20-HD        | High Definition Feature for SX20                          | N/A         | 14 days | Yes | 1        | 0.0    | 0             | 0.0 |     0 |                |
| 67 | 5.9   | LIC-SX20-NPP       | SX20 Natural Presenter Package (NPP) Option               | N/A         | 14 days | Yes | 1        | 0.0    | 0             | 0.0 |     0 |                |



min_row: 47
max_row: 67
min_col: 1
max_col: 12
target_cell_row_idx: 57
target_cell_col_idx: 9
target_cell_value: 7900
formula: =IF(ISNUMBER(G57),IF(ISNUMBER(H57),H57*G57,"--"),"--")