Inequations_SSA