what4-1.2.1: test/responses/sat.exp

Right AckSat