11.16/11.84	unsat
