TSTP Solution File: NUM409+1 by DCTP---1.31