9.47/11.86	unsat
