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