Solve if3