ojq.sat