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