r3.sat