TSTP Solution File: CAT013-1 by SRASS---0.1