TSTP Solution File: COL036-1 by SRASS---0.1