TSTP Solution File: DAT109_1 by SInE---0.4