We analyze the GenPSAT problem, which is an extension of the probabilistic satisfiability problem to linear combinations of probabilistic propositional formulas. GenPSAT is shown to be NP-complete and a reduction to the Mixed Integer Programming problem is explored. Furthermore, we present a GenPSAT solver and analyze the presence of phase transition behaviour. This is joint work with Filipe Casal and Carlos Caleiro.