TSTP Solution File: ROB032-2 by Satallax-MaLeS---1.3