TSTP Solution File: RNG105+1 by cocATP---0.2.0