r4.sat