9.67/11.83	unsat
