6.28/9.53	unsat
