9.68/9.86	unsat
