TSTP Solution File: BOO004-2 by Nitpick---2016