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