The following signal is sampled by 12-bit ADC triggered by timer TIM7. The timer clock frequency is 80 MHz. The value of TIM7_PSC register is 79. The value of TIM7_ARR register is 99. Assuming that sampling starts at t = 0, determine the value of the sample x[80].

x(t) = 1.5 + 0.6sin(70t )

x[80] = 1.5 + 0.6sin(5600) = 1.5 + 0.6(0.939) = 2.037