TSTP Solution File: ALG022^7 by Nitpick---2016