print<>=~
/^(0 (0|-?[1-5])|-?([13] -?[0-46]|2 -?[013-5]|4 -?[0-35]|5 -?[024]|6 -?[13]))$/
?YES:NO