TSTP Solution File: NUM850+2 by Mace4---1109a