Solve if12