TSTP Solution File: CAT032+3 by SETHEO---3.3