TSTP Solution File: RNG005-2 by CiME---2.01