TSTP Solution File: LCL395-10 by Mace4---1109a