Update lpsat.cpp