SWDiA5BY SAT solver, cleaned and played around with