TSTP Solution File: LIN010^1 by SInE---0.4