sat
((a11 (/ 1 2))
 (a12 (- 4))
 (a13 (/ (- 3) 4))
 (a14 (/ (- 25) 64))
 (a15 1)
 (a16 0)
 (b1 0))
((a21 0)
 (a22 4)
 (a23 1)
 (a24 (/ 1 2))
 (a25 0)
 (a26 1)
 (b2 0))
((c1 (- 6))
 (c2 46)
 (c3 7)
 (c4 (/ 97 32))
 (c5 0)
 (c6 0))