Text this: The decision method for real algebra: is it practical? /