TSTP Solution File: DAT041_1 by SInE---0.4