7.47/7.53	unsat
