给定一个ax2+bx+c=0的方程，判断并给出这个方程的所有解。
给定三个实数a,b,c（0<=a,b,c<100000），分别与ax2+bx+c=0中的系数一一对应。为单组输入输出。
若方程不为一元二次方程，则输出“该方程不是一元二次方程”（正式输出不带引号，下文同理）；若方程有解，则先输出方程解的个数和空格（具体格式看样例），接着从大到小输出所有的解，多个解之间用空格隔开；若方程没有实数解，则输出“没有实数解”。所有解均保留六位小数。