3 TVM Solver Examples 1