TSTP Solution File: NUM071-1 by Nitpick---2016