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