vex.sat