9.47/11.66	unsat
