TSTP Solution File: NUM844+2 by DCTP---1.31