annihilator.unisat