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