robotics.sat