TSTP Solution File: RNG014-6 by Mace4---1109a