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