boolean linear system free variable 개수 세기 추가