6.47/8.64	unsat
