TSTP Solution File: NUM378+1.015.010 by Nitpick---2016