spiral search algorithm; 3D FCC lattice; HP energy model; amino acids; biased tabu tenure