14.28/14.53	unsat
