unsat
(a13 a9 a14)
(b0)