TSTP Solution File: PRO014+4 by Mace4---1109a