hurdle.sat