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