TSTP Solution File: NUM375+1.025 by Nitpick---2016