TSTP Solution File: LCL276-3 by Satallax-MaLeS---1.3