TSTP Solution File: RNG004-2 by Mace4---1109a