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