make solvable more rigourous
add plink insertion and detailed adjacency searching