def sat_ip_to_text(sat_point, rows_vars):
    """Converts a satisfying input point into lines of text, one row per line"""
    text = ""
    for row_var in rows_vars:
        for var in row_var:
            if sat_point[var]:
                text += "▓▓"
            else:
                text += "  "
        text += "\n"
    return text.rstrip()