computing.sat