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