TSTP Solution File: DAT013_1 by SInE---0.4