bitsy.sat