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