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