6.47/10.26	unsat
