Relation 1

		0.0	% SAT	0.1	% SAT	0.2	% SAT	0.3	% SAT	0.4	% SAT	0.5	% SAT	0.6	% SAT	0.7	% SAT	0.8	% SAT	0.9	% SAT	1.0	% SAT
1	2	1.1852	0.1481	1.3500+	0.1688	1.6856+	0.2107	2.4000+	0.3000	3.2000+	0.4000	4.0000+	0.5000	4.8000+	0.6000	5.6000+	0.7000	6.4000+	0.8000	7.2000+	0.9000	8.0000+	1.0000
1	6	1.1852	0.2963	1.2588+	0.2990	1.3760+	0.3096	1.5810+	0.3360	2.0000+	0.4000	2.6667+	0.5000	3.4286+	0.6000	4.3077+	0.7000	5.3333+	0.8000	6.5455+	0.9000	8.0000+	1.0000
1	8	1.1852	0.1481	1.0992-	0.1374	1.6000+	0.2000	2.4000+	0.3000	3.2000+	0.4000	4.0000+	0.5000	4.8000+	0.6000	5.6000+	0.7000	6.4000+	0.8000	7.2000+	0.9000	8.0000+	1.0000
1	10	1.0000	0.2500	1.0079+	0.2394	1.0535+	0.2370	1.4118+	0.3000	2.0000+	0.4000	2.6667+	0.5000	3.4286+	0.6000	4.3077+	0.7000	5.3333+	0.8000	6.5455+	0.9000	8.0000+	1.0000
1	14	1.0264	0.3849	1.0498+	0.3674	1.0940+	0.3556	1.1881+	0.3564	1.4545+	0.4000	2.0000+	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	22	1.1852	0.4444	1.2325+	0.4314	1.3020+	0.4231	1.4115+	0.4235	1.6030+	0.4408	2.0000+	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	24	1.0000	0.2500	1.0079+	0.2394	1.0535+	0.2370	1.4118+	0.3000	2.0000+	0.4000	2.6667+	0.5000	3.4286+	0.6000	4.3077+	0.7000	5.3333+	0.8000	6.5455+	0.9000	8.0000+	1.0000
1	26	1.0264	0.3849	1.0498+	0.3674	1.0940+	0.3556	1.1881+	0.3564	1.4545+	0.4000	2.0000+	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	30	1.0563	0.5282	1.0792+	0.4991	1.1155+	0.4741	1.1776+	0.4563	1.2986+	0.4545	1.6000+	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	40	1.1852	0.2963	1.1391-	0.2705	1.0901-	0.2453	1.4118+	0.3000	2.0000+	0.4000	2.6667+	0.5000	3.4286+	0.6000	4.3077+	0.7000	5.3333+	0.8000	6.5455+	0.9000	8.0000+	1.0000
1	42	1.0264	0.3849	1.0128-	0.3545	1.0021-	0.3257	1.0038+	0.3011	1.4545+	0.4000	2.0000+	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	44	1.0264	0.3849	1.0128-	0.3545	1.0021-	0.3257	1.0038+	0.3011	1.4545+	0.4000	2.0000+	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	46	1.0000	0.5000	1.0018+	0.4634	1.0103+	0.4294	1.0358+	0.4014	1.1429+	0.4000	1.6000+	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	60	1.0000	0.5000	1.0018+	0.4634	1.0103+	0.4294	1.0358+	0.4014	1.1429+	0.4000	1.6000+	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	62	1.0098	0.6311	1.0182+	0.5854	1.0332+	0.5424	1.0620+	0.5044	1.1258+	0.4785	1.3333+	0.5000	1.8462+	0.6000	2.5455+	0.7000	3.5556+	0.8000	5.1429+	0.9000	8.0000+	1.0000
1	104	1.1852	0.4444	1.1537-	0.4038	1.1184-	0.3635	1.0789-	0.3237	1.4545+	0.4000	2.0000+	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	106	1.0563	0.5282	1.0413-	0.4816	1.0253-	0.4358	1.0096-	0.3912	1.1429+	0.4000	1.6000+	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	110	1.0098	0.6311	1.0046-	0.5776	1.0007-	0.5254	1.0010+	0.4755	1.0165+	0.4320	1.3333+	0.5000	1.8462+	0.6000	2.5455+	0.7000	3.5556+	0.8000	5.1429+	0.9000	8.0000+	1.0000
1	126	1.0000	0.7500	1.0008+	0.6881	1.0043+	0.6277	1.0138+	0.5703	1.0392+	0.5196	1.1429+	0.5000	1.6000+	0.6000	2.2400+	0.7000	3.2000+	0.8000	4.8000+	0.9000	8.0000+	1.0000
1	128	8.0000	1.0000	7.2000-	0.9000	6.4000-	0.8000	5.6000-	0.7000	4.8000-	0.6000	4.0000-	0.5000	4.8000+	0.6000	5.6000+	0.7000	6.4000+	0.8000	7.2000+	0.9000	8.0000+	1.0000
1	130	4.0000	1.0000	3.7895-	0.9000	3.5556-	0.8000	3.2941-	0.7000	3.0000-	0.6000	2.6667-	0.5000	3.4286+	0.6000	4.3077+	0.7000	5.3333+	0.8000	6.5455+	0.9000	8.0000+	1.0000
1	134	2.6667	1.0000	2.5714-	0.9000	2.4615-	0.8000	2.3333-	0.7000	2.1818-	0.6000	2.0000-	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	136	4.0000	1.0000	3.7895-	0.9000	3.5556-	0.8000	3.2941-	0.7000	3.0000-	0.6000	2.6667-	0.5000	3.4286+	0.6000	4.3077+	0.7000	5.3333+	0.8000	6.5455+	0.9000	8.0000+	1.0000
1	138	2.6667	1.0000	2.5714-	0.9000	2.4615-	0.8000	2.3333-	0.7000	2.1818-	0.6000	2.0000-	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	142	2.0000	1.0000	1.9459-	0.9000	1.8824-	0.8000	1.8065-	0.7000	1.7143-	0.6000	1.6000-	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	150	2.0000	1.0000	1.9459-	0.9000	1.8824-	0.8000	1.8065-	0.7000	1.7143-	0.6000	1.6000-	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	152	2.6667	1.0000	2.5714-	0.9000	2.4615-	0.8000	2.3333-	0.7000	2.1818-	0.6000	2.0000-	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	154	2.0000	1.0000	1.9459-	0.9000	1.8824-	0.8000	1.8065-	0.7000	1.7143-	0.6000	1.6000-	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	158	1.6000	1.0000	1.5652-	0.9000	1.5238-	0.8000	1.4737-	0.7000	1.4118-	0.6000	1.3333-	0.5000	1.8462+	0.6000	2.5455+	0.7000	3.5556+	0.8000	5.1429+	0.9000	8.0000+	1.0000
1	168	2.6667	1.0000	2.5714-	0.9000	2.4615-	0.8000	2.3333-	0.7000	2.1818-	0.6000	2.0000-	0.5000	2.6667+	0.6000	3.5000+	0.7000	4.5714+	0.8000	6.0000+	0.9000	8.0000+	1.0000
1	170	2.0000	1.0000	1.9459-	0.9000	1.8824-	0.8000	1.8065-	0.7000	1.7143-	0.6000	1.6000-	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	172	2.0000	1.0000	1.9459-	0.9000	1.8824-	0.8000	1.8065-	0.7000	1.7143-	0.6000	1.6000-	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	174	1.6000	1.0000	1.5652-	0.9000	1.5238-	0.8000	1.4737-	0.7000	1.4118-	0.6000	1.3333-	0.5000	1.8462+	0.6000	2.5455+	0.7000	3.5556+	0.8000	5.1429+	0.9000	8.0000+	1.0000
1	188	1.6000	1.0000	1.5652-	0.9000	1.5238-	0.8000	1.4737-	0.7000	1.4118-	0.6000	1.3333-	0.5000	1.8462+	0.6000	2.5455+	0.7000	3.5556+	0.8000	5.1429+	0.9000	8.0000+	1.0000
1	190	1.3333	1.0000	1.3091-	0.9000	1.2800-	0.8000	1.2444-	0.7000	1.2000-	0.6000	1.1429-	0.5000	1.6000+	0.6000	2.2400+	0.7000	3.2000+	0.8000	4.8000+	0.9000	8.0000+	1.0000
1	232	2.0000	1.0000	1.9459-	0.9000	1.8824-	0.8000	1.8065-	0.7000	1.7143-	0.6000	1.6000-	0.5000	2.1818+	0.6000	2.9474+	0.7000	4.0000+	0.8000	5.5385+	0.9000	8.0000+	1.0000
1	234	1.6000	1.0000	1.5652-	0.9000	1.5238-	0.8000	1.4737-	0.7000	1.4118-	0.6000	1.3333-	0.5000	1.8462+	0.6000	2.5455+	0.7000	3.5556+	0.8000	5.1429+	0.9000	8.0000+	1.0000
1	238	1.3333	1.0000	1.3091-	0.9000	1.2800-	0.8000	1.2444-	0.7000	1.2000-	0.6000	1.1429-	0.5000	1.6000+	0.6000	2.2400+	0.7000	3.2000+	0.8000	4.8000+	0.9000	8.0000+	1.0000
1	254	1.1429	1.0000	1.1250-	0.9000	1.1034-	0.8000	1.0769-	0.7000	1.0435-	0.6000	1.0000-	0.5000	1.4118+	0.6000	2.0000+	0.7000	2.9091+	0.8000	4.5000+	0.9000	8.0000+	1.0000