"Erase" the banner via .sol as other solver do