f 0 cons 0 f s 0 f s 0 f p s 0 p s 0 0 2.2 f s 0 p s 0 f 0 f s 0 f s 0 f p s 0 true f s 0 f p s 0 f 0 f s 0 true Failed! NaTT certifiable-1.6