TSTP Solution File: ALG069-10 by Nitpick---2016