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