TSTP Solution File: NUM534+1 by Nitpick---2016