TSTP Solution File: COL042-7 by SRASS---0.1