process.sat