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