TSTP Solution File: ALG219+3 by Mace4---1109a