2013.12.13

problem:calculate counterexample