solve_proper.v 821 Bytes