TSTP Solution File: LCL346-3 by Mace4---1109a