mechanic.sat