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