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