14.17/14.53	unsat
