TSTP Solution File: DAT007_1 by SRASS---0.1