bicycle.sat