6.47/8.72	unsat
