pub fn print_test() { println!("SOLVER BASE PRINT TEST"); }