10.17/11.06	unsat
