assign_de no longer wastes computation for <= 1 sat