TSTP Solution File: PRO009+4 by DCTP---1.31