6.47/8.75	unsat
