8.47/8.64	unsat
