updated Collide example with SAT