bfq.sat