6.47/8.84	unsat
