bulky.sat