Extensions of plans on achieving UC for two xor-clauses.