E = [libre(b), libre(c), libre(3), libre(4), libre(5), libre(6), libre(f), libre(e), sobre(b,a), sobre(a,1), sobre(c, 2), sobre(f, 7), sobre(e,d), sobre(d,8)], plan(E,[sobre(a,b), sobre(b,c), sobre(c,2), sobre(d,e), sobre(e,f), sobre(f,7)], Plan, EF).