TSTP Solution File: DAT014_1 by SInE---0.4