TSTP Solution File: NUM284-10.014 by Mace4---1109a