vectors brute-force added
dummy solve done
main generalized