TSTP Solution File: DAT053_1 by SInE---0.4