TSTP Solution File: COL064-9 by SRASS---0.1