TSTP Solution File: CAT004-2 by SRASS---0.1