17.36/20.06	unsat
