6.47/10.81	unsat
