TSTP Solution File: DAT329_1 by SInE---0.4