TSTP Solution File: DAT016_1 by SRASS---0.1