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