TSTP Solution File: LCL367-1 by Mace4---1109a