7.25/10.53	unsat
