refin.sat