fact: Definition runsat := check_inconsistent 0%Q Qeq_bool Qle_bool.
imports: OrderedRing QMicromega RingMicromega Refl Sumbool Raxioms Rfunctions RIneq Rpow_def QArith Qfield Qreals DeclConstant EnvRing List Coq.micromega.Tauto