TSTP Solution File: NUM284-1.014 by Satallax-MaLeS---1.3