IF-RELAX
(1)  IF
(2)   THEN
(3)     
Algorithm 2