140.19/60.03	ages: Error (SolverSMTExt callToBarcelogicNIA'): (line 1, column 1):
140.19/60.03	unexpected "s"
140.19/60.03	expecting "sat", "unsat" or "unknown"
140.19/60.08	EOF