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