Linear kSAT Solver