I need to prove, that the $\#k-colouring$ graph problem is $\#P-complete$. I want to construct the reduction from $\#3SAT$ problem, so $\#3SAT \leq \#k-colouring$. The reduction between the counting problems consists of two parts. The first one maps instances of the first problem to the instance of the second problem (the same as within the reduction at decision problem) and the second part has to recover the number of solutions between the relevant problems.
For counting problems, there is a special type of reductions, called parsimonious reduction, where is the number of solutions identical. I read that for all known natural NP-complete problems, there is a parsimonious reduction from $3SAT$. However, consider $ 3-colouring $ graph problem, then the solutions come in groups of 6 since you can always permute the individual colours.
Will be the reduction $\#3SAT \leq \#k-colouring$ parsimonious or not? If yes, how to construct such reduction to prove that the number of solutions is identical and if not, how is the relationship between the number of solutions within both counting problems with respect to the $k$?