TSTP Solution File: ALG234+4 by Nitpick---2016