TSTP Solution File: LCL692^1 by SETHEO---3.3