solve soccer_judgement
solve dfact