11.35/11.83	unsat
