95.58/98.06	unsat
