solve_proper.ref 0 Bytes