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