bbloc.sat