TSTP Solution File: GEO094-1 by SInE---0.4