6.47/10.25	unsat
