TSTP Solution File: NUM294+1 by Mace4---1109a