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