TSTP Solution File: NUM670+4 by Nitpick---2016