what are the names of reaction engines with a mass of at least 5393.0?
(AND engineering.reaction_engine (ge engineering.engine.mass 5393.0^^http://www.w3.org/2001/XMLSchema#float))