TSTP Solution File: GEG024_1 by SInE---0.4