without sat sets changing, amb resolution works