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