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