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