#include<stdio.h>
int main(void) {
   double x1, x2, x3, xp, y1, y2, y3, yp, key;
   while (scanf("%lf %lf %lf %lf %lf %lf %lf %lf", &x1, &y1, &x2, &y2, &x3, &y3, &xp, &yp) != EOF ) {
       if ( x2 < x1 && x1 < x3 ) {
           key = x1;
           x1 = x2;
           x2 = key;
       } else if ( x2 < x3 && x3 < x1 ) {
           key = x3;
           x3 = x1;
           x1 = x2;
           x2 = key;
       } else if ( x3 < x1 && x1 < x2 ) {
           key = x1;
           x1 = x3;
           x3 = x2;
           x2 = key;
       } else if ( x3 < x2 && x2 < x1 ) {
           key = x1;
           x1 = x3;
           x3 = key; 
       } else if ( x1 < x3 && x3 < x2 ) {
           key = x3;
           x3 = x2;
           x2 = key;
       }
       /*???????????§?????????*/
       /*?????????????????¬???*/
       if ( xp < x1 ) printf("NO\n");
       else if ( x3 < xp ) printf("NO\n");
       else if ( x1 < xp && xp < x2 ) {
           
       }
       printf("%lf %lf %lf\n", x1, x2, x3);
   }
   return 0;
}