instances row 0..10. col 0..10. wire 0..2. initially not empty(1,6). not empty(1,7). not empty(1,8). not empty(1,9). not empty(2,2). not empty(2,3). not empty(2,4). not empty(2,6). not empty(2,7). not empty(2,8). not empty(2,9). not empty(3,2). not empty(3,3). not empty(3,4). not empty(3,6). not empty(3,7). not empty(3,8). wrow(2)=4. wcol(2)=1. not empty(4,2). not empty(4,3). wrow(1)=5. wcol(1)=1. wrow(0)=6. wcol(0)=1. not empty(7,0). not empty(7,1). not empty(7,6). not empty(7,7). not empty(7,9). not empty(7,10). not empty(8,0). not empty(8,1). not empty(8,6). not empty(8,7). not empty(8,9). not empty(8,10). not empty(9,0). not empty(9,1). not empty(9,4). not empty(9,5). not empty(9,6). not empty(9,7). not empty(10,0). not empty(10,1). not empty(10,4). not empty(10,5). not empty(10,6). not empty(10,7). goals wrow(0)=6. wcol(0)=8. wrow(1)=5. wcol(1)=8. wrow(2)=4. wcol(2)=8.