6.47/10.86	unsat
