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