diff --git a/sri.dzn b/sri.dzn
new file mode 100644
index 0000000..6719854
--- /dev/null
+++ b/sri.dzn
@@ -0,0 +1,188 @@
+consistency = [
+PT4001:	84.84,
+PT4010:	72.01,
+PT4012:	79.27,
+PT4016:	89.49,
+PT4017:	88.30,
+PT4018:	77.21,
+PT4019:	74.77,
+PT4020:	83.08,
+PT4021:	80.20,
+PT4022:	83.82,
+PT4023:	<>,
+PT4024:	72.84,
+PT4027:	<>,
+PT4028:	84.63,
+PT4029:	80.56,
+PT4031:	76.45,
+PT4033:	75.81,
+PT4035:	58.97,
+PT4036:	71.52,
+PT4037:	86.25,
+PT4038:	89.48,
+PT4039:	94.44,
+PT4040:	<>,
+PT4042:	86.84,
+PT4044:	<>,
+PT4048:	85.78,
+PT4049:	77.78,
+PT4050:	89.74,
+PT4052:	84.65,
+PT4053:	82.14,
+PT4055:	81.24,
+PT4056:	73.52,
+PT4058:	84.13,
+PT4060:	58.60,
+PT4061:	66.71,
+PT4062:	81.12,
+PT4063:	88.21,
+PT4064:	<>,
+PT4065:	<>,
+PT4066:	85.32,
+PT4067:	83.10,
+PT4068:	86.90,
+PT4069:	82.42,
+PT4070:	86.05,
+PT4071:	84.23,
+PT4072:	<>,
+PT4073:	73.82,
+PT4076:	76.74,
+PT4077:	81.31,
+PT4078:	79.81,
+PT4081:	74.14,
+PT4082:	82.25,
+PT4083:	92.59,
+PT4084:	79.06,
+PT4085:	81.64,
+PT4088:	96.57,
+PT4090:	44.37,
+PT4095:	68.17,
+PT4100:	86.58,
+PT4101:	81.10,
+PT4102:	80.70,
+PT4103:	94.21,
+PT4105:	73.96,
+PT4106:	85.60,
+PT4107:	62.55,
+PT4108:	81.90,
+PT4109:	55.05,
+PT4110:	70.83,
+PT4111:	91.59,
+PT4112:	80.82,
+PT4114:	85.20,
+PT4115:	82.90,
+PT4116:	91.07,
+PT4117:	87.33,
+PT4118:	70.16,
+PT4119:	<>,
+PT4121:	77.42,
+PT4122:	91.12,
+PT4123:	88.93,
+PT4124:	79.33,
+PT4126:	90.85,
+PT4129:	80.73,
+PT4130:	70.12,
+PT4131:	84.75,
+PT4132:	90.18,
+PT4133:	92.49,
+PT4134:	84.38,
+PT4136:	78.99,
+PT4137:	79.38,
+PT4138:	86.84,
+PT4143:	89.26,
+PT4145:	86.60,
+PT4146:	<>,
+PT4147:	55.79,
+PT4149:	92.89,
+PT4150:	85.43,
+PT4151:	76.24,
+PT4153:	<>,
+PT4156:	82.94,
+PT4157:	77.19,
+PT4158:	85.17,
+PT4159:	53.58,
+PT4160:	80.34,
+PT4162:	76.32,
+PT4163:	33.55,
+PT4164:	91.97,
+PT4165:	79.48,
+PT4166:	85.50,
+PT4167:	85.17,
+PT4168:	81.60,
+PT4171:	89.49,
+PT4172:	86.02,
+PT4173:	87.12,
+PT4174:	83.72,
+PT4175:	85.67,
+PT4178:	82.66,
+PT5001:	81.27,
+PT5002:	79.63,
+PT5003:	81.76,
+PT5004:	72.31,
+PT5005:	88.09,
+PT5006:	88.02,
+PT5009:	75.83,
+PT5011:	83.74,
+PT5012:	80.43,
+PT5013:	80.31,
+PT5016:	<>,
+PT5018:	49.87,
+PT5021:	80.33,
+PT5023:	79.90,
+PT5024:	61.28,
+PT5025:	70.89,
+PT5026:	67.27,
+PT5027:	72.08,
+PT5028:	93.08,
+PT6001:	55.22,
+PT6003:	71.03,
+PT6004:	86.47,
+PT6006:	<>,
+PT6007:	78.68,
+PT6008:	85.49,
+PT6009:	<>,
+PT6011:	80.77,
+PT6012:	77.82,
+PT6013:	78.19,
+PT6015:	79.73,
+PT6016:	77.78,
+PT6018:	89.96,
+PT6019:	78.88,
+PT6020:	<>,
+PT6021:	86.95,
+PT6023:	85.91,
+PT6024:	77.15,
+PT6028:	75.19,
+PT6029:	87.62,
+PT6032:	86.46,
+PT6039:	82.57,
+PT6041:	82.64,
+PT6043:	48.69,
+PT6044:	47.24,
+PT6046:	<>,
+PT6047:	34.78,
+PT6048:	27.86,
+PT6051:	69.08,
+PT6052:	90.62,
+PT6054:	85.88,
+PT6056:	86.24,
+PT6057:	95.02,
+PT6062:	82.42,
+PT6063:	77.97,
+PT6064:	81.18,
+PT6069:	67.94,
+PT6071:	91.68,
+PT6072:	70.15,
+PT6074:	68.79,
+PT6076:	82.29,
+PT6077:	85.03,
+PT6081:	78.82,
+PT6082:	77.78,
+PT6085:	<>,
+PT6088:	84.27,
+PT6092:	92.25,
+PT6093:	80.07,
+PT6094:	88.83,
+PT6096:	85.10,
+PT6099:	93.05,
+];