7.25/9.53	unsat
