
s3anscase1 = s3 -> 0.0697428634935481
 
s3anscase2 = s3 -> 0.8710346373022878
 
nssubs = {s1 -> 1/7, s2 -> 4/7, s3 -> 1/7}
