TSTP Solution File: CAT009-4 by SRASS---0.1