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