NOTE: Between questions, reset the TVM solver using the red "Reset" button at the bottom.