rigid.sat