Satsolver in different file Satsolver.cpp + Satsolver.h
Solution output available

Signed-off-by: TheTesla <stefan.helmert@gmx.net>