16.95/20.06	unsat
