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