1178.21 안전 관련 논리 솔버(Logic Solver)의 설계