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