TSTP Solution File: NUM793^4 by Nitpick---2016