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