brc-90.sat