6.47/10.41	unsat
