TSTP Solution File: BOO004-2 by SRASS---0.1