vexed.sat