TSTP Solution File: PRO011+1 by Mace4---1109a