TSTP Solution File: LAT162-1 by SRASS---0.1